1. Algebraic semantics
Author: Guessarian, Irene
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Formal languages-- Semantics
Classification :
QA
267
.
3
.
G84
2. Algebraic semantics
Author: Irene Guessarian
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Formal languages -- Semantics
Classification :
QA
76
.
L28
Vol
.
99
3. Farmal Semantics: The Essential Readings
Author: / Poul Portner, Barbara H. Partee
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Formal Languages - Semantics
Classification :
P371
.
F567
4. Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24-October 1,1986: Proceedings
Author: Marisa Venturini Zilli )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages -- Semantics,Congresses ، Parallel programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
280
5. Presumptive Meanings : The Theory of Generalized Conversational Implicature
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Semantics,Formal languages - Semantics,Implication (Logic),Pragmatics,Grammar, Comparative and general,معنی شناسی,زبان های صوری -- معنی شناسی,استلزام )منطق(,کاربردشناسی,دستور زبان تطبیقی,Levinson, Stephen C.
Classification :
CD-B
,
P
,
325
,.
L4P7
,
2000
6. Presumptive meanings : the theory of generalized conversational implicature
Author: Levinson, Stephen C.
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Semantics ► Formal languages- Semantics ► Implication (Logic) ► Pragmatics ► Grammar, Comparative and general
Classification :
401
L665p
7. Regulated rewriting in formal language theory
Author: Jurgen Dassow, Gheorghe Paun
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Formal languages,، Rewriting systems )Computer science(,، Formal languages -- Semantics
Classification :
QA
267
.
3
.
D37
1989
8. Symposium on semantics of algorithmic languages
Author: edited by E. Engeler
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
Classification :
QA
1
.
L4
v
.
188
9. Symposium on semantics of algorithmic languages
Author: / edited by E. Engeler
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics -- Congresses,Formal languages -- Congresses,Computer algorithms -- Congresses
Classification :
QA
76
.
7
.
S9
1971
10. UML 2 semantics and applications
Author: edited by Kevin Lano
Library: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
Subject: Computer software, Development,Application software, Development,UML )Computer science(,Formal languages, Semantics
Classification :
QA
76
,.
76
.
U5
2009
11. UML 2 semantics and applications
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Development. ; Application software ; Development. ; UML (Computer science) ; Formal languages ; Semantics. ;
12. UML 2 semantics and applications
Author: / edited by Kevin Lano
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer software--Development,Application software--Development,UML (Computer science),Formal languages--Semantics
Classification :
QA
,
76
.
76
,.
D47
,
U39
,
2009
13. UML 2 semantics and applications
Author: / edited by Kevin Lano
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer software, Development,Application software, Development,UML (Computer science),Formal languages, Semantics
Classification :
E-BOOK
14. introduction to computable languages and abstract machines
Author: Parkes, Alan
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Formal languages- Syntax ► Computational linguistics ► Semantics
Classification :
005
P245a
